Laboratory for Foundations of Computer Science - PDFSEARCH.IO - Document Search Engine

Laboratory for Foundations of Computer Science
Results: 70

#	Item
31	O. Peter Buneman Curriculum Vitæ – Jan 2008 Work Address: LFCS, School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-05-05 06:19:22 Fellows of the Royal Society of Edinburgh Peter Buneman Wenfei Fan Dan Suciu SIGMOD Association for Computing Machinery Gerhard Weikum Symposium on Principles of Database Systems David Maier Laboratory for Foundations of Computer Science Malcolm Atkinson Serge Abiteboul
32	Introduction Case Study in Systems Biology Continuous Approximation and Differential Equations Case Study in Web Services Adventures in Systems Biology Jane Hillston. LFCS, University of Edinburgh 18th July 2005 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:40:16 Process calculi Jane Hillston PEPA Differential equation Numerical analysis Laboratory for Foundations of Computer Science Equation Mathematical analysis
33	MFPSCoalgebraic update lenses Danel Ahman1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-10-20 18:47:44
34	An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory Marcelo P. Fiore? and Gordon D. Plotkin?? Department of Computer Science Laboratory for Foundations of Computer Science University of Add to Reading List Source URL: www.margaretmorgan.com Language: English - Date: 2002-02-04 19:21:36
35	Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-07-23 15:50:50
36	Model Checking Infinite State Spaces Javier Esparza Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh Add to Reading List Source URL: www7.in.tum.de Language: English - Date: 2007-05-25 06:28:09
37	Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics, Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-09-20 10:00:30
38	Querying graphs with data Domagoj Vrgoˇc Doctor of Philosophy Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-05-01 15:17:56
39	Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-07-23 15:50:50
40	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2013-04-10 13:05:04

UPDATE